#ifndef _DRIVER_INSTRUMENTATION_H_
#define _DRIVER_INSTRUMENTATION_H_
#include <ntddk.h>
#include <wdf.h>
#include "instrumentation.h"

void myInitDriver(PDEVICE_OBJECT devObj, PIRP Irp);

#endif
